#include <stdio.h>
int main() {
    int count;
    scanf_s("%d", &count);
    int time;
    if (++count > 12) {
        time = count / 12 * 4 + 2;

    }
    else {
        time = 2;
    }
    printf("%d", time);
}